(S3, S5)- and (S3, S6)-amalgams

Text S3

We sought to characterize WPEC by quantifying per-hour log-fold change. To do so, we regressed the log gene expression on time (hour) and extracted the linear slope. For genes with monotonically increasing or decreasing expression trajectories, the utility of our WPEC measure to discriminate is obvious. Our WPEC measure can also discriminate with more complex trajectories which may be reflectiv...

S3 Table

study design, analysis and interpretation The following table summarizes several key concepts relating to sample preparation and library construction that may influence analysis and interpretation of RNA-seq data. Several initiatives are underway to develop standards and best practices that cover many of these concepts. These include: the Sequencing Quality Control (SEQC) consortium [2], the En...

S3 Text

S3 Text

We estimated clinic-averaged co-ancestries from WGS data assuming SNPs were both linked and unlinked. Linked analyses require a recombination file specifying distances between SNPs. We used a uniform recombination rate equal to 7.4 × 10−7 Morgans per base pair (Miles et al. 2016), the same as that specified in hmmIBD (Schaffner et al., n.d.). ChromoPainter essentially treats each unlinked SNP a...

Denotational Semantics for Modal Systems S3-S5 Extended by Axioms for Propositional Quantifiers and Identity

There are logics where necessity is defined by means of a given identity connective: φ := φ ≡ ⊤ (⊤ is a tautology). On the other hand, in many standard modal logics the concept of propositional identity (PI) φ ≡ ψ can be defined by strict equivalence (SE) (φ ↔ ψ). All these approaches to modality involve a principle that we call the Collapse Axiom (CA): “There is only one necessary proposition....